ムーア型順序機械(Moore Machine)
https://gyazo.com/0df2ba7cdca701ef0e8b13869150239a
ムーア型順序機械は次のものを指定することにより定まるシステムである：
状態の有限集合$ Q
入力記号の有限集合 $ \Sigma
出力記号の有限集合 $ \Delta
状態推移関数 state tranfer function $ \delta: (Q \times \Sigma) \longrightarrow Q
出力関数 output function$ \lambda : Q \longrightarrow \Delta
初期状態 $ q_0 \in Q
これを次のように表現する：
$ M = (Q, \Sigma, \Delta, \delta, \lambda, q_0)
状態遷移の途中で出力をするミーリー型と異なり、ムーア型は遷移終了後に、終了後の状態のみに依存する出力関数により出力を行う。